In mathematics, the Pontryagin classes, named after Lev Pontryagin, are certain characteristic classes of real vector bundles. The Pontryagin classes lie in with degrees a multiple of four.
Definition
Given a real vector bundle
over
, its
-th Pontryagin class
is defined as
[Lawson & Michelson 90, Equation (B.12)]
where:
The rational Pontryagin class is defined to be the image of in , the -cohomology group of with Rational number coefficients.
Properties
The
total Pontryagin class
is (modulo 2-torsion) multiplicative with respect to
Whitney sum of vector bundles, i.e.,
[Lawson & Michelson 90, Equation (B.10)]
for two vector bundles
and
over
. In terms of the individual Pontryagin classes
,
and so on.
The vanishing of the Pontryagin classes and Stiefel–Whitney classes of a vector bundle does not guarantee that the vector bundle is trivial. For example, up to vector bundle isomorphism, there is a unique nontrivial rank 10 vector bundle over the N-sphere. (The clutching function for arises from the homotopy group .) The Pontryagin classes and Stiefel-Whitney classes all vanish: the Pontryagin classes don't exist in degree 9, and the Stiefel–Whitney class of vanishes by the Wu formula . Moreover, this vector bundle is stably nontrivial, i.e. the Whitney sum of with any trivial bundle remains nontrivial.
Given a -dimensional vector bundle we have
where
denotes the
Euler class of
, and
denotes the
cup product of cohomology classes.
Pontryagin classes and curvature
As was shown by Shiing-Shen Chern and André Weil around 1948, the rational Pontryagin classes
can be presented as differential forms which depend polynomially on the
curvature form of a vector bundle. This Chern–Weil theory revealed a major connection between algebraic topology and global differential geometry.
For a vector bundle over a -dimensional differentiable manifold equipped with a connection form, the total Pontryagin class is expressed as